Optimisation d'un compilateur incrémental et conversationnel de PL/I

SVM incrémental et parallèle sur GPU

Résumé. Nous présentons un nouvel algorithme incrémental et parallèle de Séparateur à Vaste Marge (SVM ou Support Vector Machine) pour la classification de très grands ensembles de données en utilisant le processeur de la carte graphique (GPUs, Graphics Processing Units). Les SVMs et les méthodes de noyaux permettent de construire des modèles avec une bonne précision mais ils nécessitent habitu...

Macro-mécanisme pour le langage de commande d'un système conversationnel

A certified compiler for an imperative language

This paper describes the process of mechanically certifying a compiler with respect to the semantic speciication of the source and target languages. The proofs are performed in type theory using the Coq system. These proofs introduce speciic theoretical tools: fragmentation theorems and general induction principles. Un compilateur certiii pour un langage impratif RRsumm : Cet article ddcrit la ...

Automated Design of Industrial Sequence Controllers

A system for replacing solid-state or relay based industrial control logic with custom firmware, implemented in a standard system is described. A comparison to other approaches, such as OEM implemented high level language based systems and large computer based systems is made. Existing software developments, particularly high level languages for user convenience, are discussed. The approach inc...

Un Outil Multidimensionnel De L'Analyse Du Discours

RESUME : Le traitement automatique du discours suppose un traitement algorithmique et informatique. Plus i e u r s m~thodes p e r m e t t e n t d ' a p p r ~ h e n d e r c e t a s p e c t . L'utilisation d'un langage de programmation g~n~ral (par exemple PL/I) ou plus orient~ (par exemple LISP) repr~sente la premiere approche. A l'oppos~, l'utilisation d'un logiciel sp~cialis~ permet d'~viter l...